Evaluation of a 3D Solution Space-based ATC Workload Metric
نویسندگان
چکیده
منابع مشابه
ATC Complexity as Workload and Safety Driver
This paper describes an investigation into ATC complexity as a contributory factor in changes of safety level. ATC complexity, together with equipment interface and procedural demands comprise the task demands on the controller; subsequent controller activities are mediated by performance shaping factors to create workload. In order to establish a link between ATC complexity, a controller’s sub...
متن کاملThe Wijsman structure of a quantale-valued metric space
We define and study a quantale-valued Wijsman structure on the hyperspace of all non-empty closed sets of a quantale-valued metric space. We show its admissibility and that the metrical coreflection coincides with the quantale-valued Hausdorff metric and that, for a metric space, the topological coreflection coincides with the classical Wijsman topology. We further define an index of compactnes...
متن کاملEvaluation of a Radically Revised ATC Interface
A radically revised ATC (Air Traffic Control) interface, developed from that described at HCI-Aero98, has been evaluated by trials using 26 postgraduate students (native French speakers). Twenty-four out of 26 students were able to control traffic at a nominal rate of 200 aircraft per hour after about one hour of training. All but two of 1620 potential conflicts were resolved correctly. All but...
متن کاملATC Complexity and Controller Workload: Trying to Bridge the Gap
Considerable research has been conducted to identify a useful set of Air Traffic Control complexity factors. It is now necessary to determine, on the one hand, how these factors affect ATC complexity and controller workload and, on the other hand, how ATC complexity and controller workload interact. This line of research should lead to elaboration of guidelines to improve sector configuration a...
متن کاملThe Category-theoretic Solution of Recursive Ultra-metric Space Equations
We give a short description of our implementation in Coq supporting the construction of category-theoretic solutions to recursive ultra-metric space equations for domain theory. This is one step in our efforts to provide a category-theoretical foundation for program semantics and program logics. Introduction One particular difficulty in defining a denotational semantics for concurrent higher-or...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2019
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2019.12.166